Search Results for 'gulwani microsoft'

gulwani microsoft published presentations and documents on DocSlides.

Recursive Program Synthesis Aws Albarghouthi Sumit Gulwani and Zachary Kincaid University of Toronto Microsoft Research Abstract

by jane-oiler

Inputoutput examples are a simple and accessible ...

Automated Feedback Generation for Introductory Program

by liane-varnes

mitedu Sumit Gulwani Microsoft Research Redmond WA...

Logical Abstract Interpretation

by karlyn-bohler

Sumit Gulwani Microsoft Research, Redmond Uninterp...